$\forall$${\it es}$:ES, $e$:E. loc(es{-}init(${\it es}$;$e$)) $\sim$ loc($e$)